Formal systems - PDFSEARCH.IO - Document Search Engine

Formal systems
Results: 1365

#	Item
891	Towards a Foundational Framework for Developing and Testing Inter-organizational Business Processes Philip Langer Vienna University of Technology Vienna, Austria Add to Reading List Source URL: publik.tuwien.ac.at Language: English - Date: 2014-07-14 05:02:27 Science Design Scientific modeling Logic in computer science Modeling language Formal methods Process modeling Model checking Business Process Execution Language Process management Management Systems engineering
892	REMINGTON & VERNICK ENGINEERS ASSOCIATE, KEVIN R. ZELINSKY, RECEIVES FORMAL GISP CERTIFICATION Kevin R. Zelinsky, our CADD/Cartography/GIS Department Head and Associate, received formal certification as a GIS professiona Add to Reading List Source URL: www.gisci.org Language: English - Date: 2012-10-15 16:01:08 Science Earth Geographic information systems Web mapping Geography
893	National Institute of Standards & Technology Poster Session Report Tuesday, March 4th 2014 Add to Reading List Source URL: www.nist.gov Language: English - Date: 2014-03-12 18:07:13 Database management systems Database theory Teradata NCR Corporation Formal sciences Big data Apache Hadoop Database Data management Technology Computing
894	eManifest Review Review Engagement December 2012 Add to Reading List Source URL: www.asfc.gc.ca Language: English - Date: 2013-10-10 13:21:59 Software engineering Project management Systems engineering Software development process Formal methods Systems development life-cycle Project governance Project manager Quality assurance Software development Management Information technology management
895	Under consideration for publication in Formal Aspects of Computing Guaranteeing Convergence of Distributed Systems: From Specification to Implementation via Refinement K. Mani Chandy1 , Brian Go1 , Sayan Mitra2 , Concet Add to Reading List Source URL: leecenter.caltech.edu Language: English - Date: 2009-05-07 18:44:00 Ring Ring theory Summation Predicate transformer semantics Mathematics Algebraic structures Structure
896	What is the status of ELECTRONIC RECORDS program in your state? (choose the answer most similar to your practices) Answer Options Advanced -- formal programs and schedules/dedicated staff in place to address multiple dig Add to Reading List Source URL: www.geomapp.net Language: English - Date: 2009-12-09 09:22:12 Geography Measurement Geographic information systems Science Geospatial intelligence National Geospatial Digital Archive Cartography Geodesy Geospatial analysis
897	LGISC-RC[removed]Resolution of the Louisiana Geographic Information Systems Council Formal Recognition of the DIGITAL ORTHOPHOTO QUARTER QUADRANGLES Add to Reading List Source URL: lagic.lsu.edu Language: English - Date: 2004-04-27 12:26:52 Orthophoto Photogrammetry Spatial data infrastructure Louisiana MrSID OMB Circular A-16 Geography Earth Planetary science Geographic information systems Cartography Remote sensing
898	SRA White with darker Reflection with and without Tag Add to Reading List Source URL: www.sra.com Language: English - Date: 2014-07-30 19:57:34 Data management Formal sciences Database management systems SRA International Analytics Predictive analytics Text analytics Data analysis Big data Business intelligence Technology Science
899	An Infrastructure for Innovating Data Management Today, every organization is confronted with an avalanche of information. Analyzing this data with sophisticated computational and statistical methods presents an enormous Add to Reading List Source URL: www.corp.att.com Language: English - Date: 2013-12-17 11:58:36 Science Database management systems Database theory Emerging technologies Database Big data Business intelligence Data analysis Analytics Data management Technology Formal sciences
900	IBM Software Business Analytics IBM Predictive Analytics Solution for Schools and Educational Systems Add to Reading List Source URL: ecapitaladvisors.com Language: English - Date: 2013-07-18 12:15:53 Data analysis Formal sciences Business analytics Data warehousing Analytics SPSS Predictive analytics Data mining IBM Business intelligence Statistics Business

UPDATE